Proof complexity - PDFSEARCH.IO - Document Search Engine

Proof complexity
Results: 225

#	Item
41	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
42	Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem Alex Biryukov Dmitry Khovratovich Add to Reading List Source URL: www.internetsociety.org Language: English - Date: 2016-02-22 10:06:03 Computational complexity theory Theory of computation Complexity classes Analysis of algorithms Finite fields NP Spacetime tradeoff Algorithm Time complexity IP P XTR
43	Approximability and proof complexity Ryan O’Donnell∗ Yuan Zhou† November 7, 2012 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-11-07 23:45:14
44	Inapproximability of Combinatorial Optimization Problems Luca Trevisan∗ arXiv:cs/0409043v1 [cs.CC] 24 SepJuly 27, 2004 Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2008-02-01 14:51:28 Computational complexity theory Theory of computation Complexity classes NP-complete problems Mathematical optimization NP-hard problems MAX-3SAT NP Approximation algorithm Probabilistically checkable proof PCP theorem APX
45	Online Learning for Time Series Prediction Elad Hazan Shie Mannor Ohad Shamir Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-27 20:17:13 Circuit complexity NC Constructible universe Proof theory Ordinal numbers Probability distributions Abstraction Mathematics CurryHoward correspondence Ordinal arithmetic
46	Private Client-Side Profiling with Random Forests and Hidden Markov Models George Danezis1 , Markulf Kohlweiss1 , Benjamin Livshits1 , and Alfredo Rial2 1 2 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2013-10-10 06:48:57 Public-key cryptography Cryptography Computational complexity theory Zero-knowledge proof Proof of knowledge IP Digital signature Commitment scheme NP Random oracle Mathematical proof Markov chain
47	A A New Kind of Tradeoffs in Propositional Proof Complexity ALEXANDER RAZBOROV We exhibit an unusually strong tradeoff in propositional proof complexity that significantly deviates from the established pattern of almost Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-12-22 09:16:59
48	Propositional Proof Complexity Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter09.html Winter, 2009 and Winter, 2014 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-04 16:32:05
49	Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010. Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-12-06 10:50:09
50	Power of Non-Uniformity in Proof Complexity by Steven Perron Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2013-10-10 11:40:05